University of Trier

Results: 39



#Item
21Preprint. The final version of this paper will appear in the Proc. of ESEMHow Humans merge UML-Models Rainer Lutz, David W¨urfel and Stephan Diehl Department of Computer Science University of Trier

Preprint. The final version of this paper will appear in the Proc. of ESEMHow Humans merge UML-Models Rainer Lutz, David W¨urfel and Stephan Diehl Department of Computer Science University of Trier

Add to Reading List

Source URL: www.st.uni-trier.de

Language: English - Date: 2011-08-23 05:59:48
22A Hybrid Approach for Proving Noninterference of Java Programs Ralf Küsters∗ , Tomasz Truderung∗ , Bernhard Beckert† , Daniel Bruns† , Michael Kirsten† and Martin Mohr† ∗ University of Trier, Germany Email

A Hybrid Approach for Proving Noninterference of Java Programs Ralf Küsters∗ , Tomasz Truderung∗ , Bernhard Beckert† , Daniel Bruns† , Michael Kirsten† and Martin Mohr† ∗ University of Trier, Germany Email

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2015-05-07 09:31:03
23Security Analysis of Re-Encryption RPC Mix Nets Ralf K¨usters and Tomasz Truderung University of Trier, Germany {kuesters,truderung}@uni-trier.de  Abstract. Re-Encryption randomized partial checking (RPC) mix nets were

Security Analysis of Re-Encryption RPC Mix Nets Ralf K¨usters and Tomasz Truderung University of Trier, Germany {kuesters,truderung}@uni-trier.de Abstract. Re-Encryption randomized partial checking (RPC) mix nets were

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2015-03-29 05:22:29
24RIGHTS TALK Positive Obligations and the Right to Life according to Article 2 of the European Convention on Human Rights Prof. Dr. Mark A. Zoeller University of Trier Faculty of Law

RIGHTS TALK Positive Obligations and the Right to Life according to Article 2 of the European Convention on Human Rights Prof. Dr. Mark A. Zoeller University of Trier Faculty of Law

Add to Reading List

Source URL: www.law.hku.hk

Language: English - Date: 2011-09-20 22:33:38
25Chapter 9: Autotelic Personality Nicola Baumann University of Trier Abstract This chapter reflects the search for more stable causes of flow experiences such

Chapter 9: Autotelic Personality Nicola Baumann University of Trier Abstract This chapter reflects the search for more stable causes of flow experiences such

Add to Reading List

Source URL: www.uni-trier.de

Language: English - Date: 2013-08-18 06:53:39
26P R O J E C T S – S U M M A R Y  HISTORY, COORDINATION AND ORGANISATION OF THE CORSS-BORDER UNIVERSITY NETWORK

P R O J E C T S – S U M M A R Y HISTORY, COORDINATION AND ORGANISATION OF THE CORSS-BORDER UNIVERSITY NETWORK

Add to Reading List

Source URL: www.cross-border-network.eu

Language: English - Date: 2013-03-17 15:58:44
27Dealing with the Future: A Theological Engagement with Lars von Trier’s Melancholia - Dr. Robert Vosloo (Faculty of Theology, University of Stellenbosch) Given the theme of the conference, this paper engages the avant-

Dealing with the Future: A Theological Engagement with Lars von Trier’s Melancholia - Dr. Robert Vosloo (Faculty of Theology, University of Stellenbosch) Given the theme of the conference, this paper engages the avant-

Add to Reading List

Source URL: www.philhist.uni-augsburg.de

- Date: 2014-11-19 07:44:06
    28Members of the Board of Governors Chairman Moulin Claudine Professeur à l’Université de Trèves et directrice du Trier Center for Digital Humanities Professor at the University of Trier and Director of the Trier Cent

    Members of the Board of Governors Chairman Moulin Claudine Professeur à l’Université de Trèves et directrice du Trier Center for Digital Humanities Professor at the University of Trier and Director of the Trier Cent

    Add to Reading List

    Source URL: www.cvce.eu

    Language: French - Date: 2015-01-30 09:06:44
      29Barbara Schneider-Kempf Director General of the Staatsbibliothek zu Berlin (Berlin State Library) * April 1954 in Trier, Abitur (A-level) at the Modern Language Secondary School of the Ursulines[removed]

      Barbara Schneider-Kempf Director General of the Staatsbibliothek zu Berlin (Berlin State Library) * April 1954 in Trier, Abitur (A-level) at the Modern Language Secondary School of the Ursulines[removed]

      Add to Reading List

      Source URL: staatsbibliothek-berlin.de

      Language: English - Date: 2014-05-09 03:41:10
      30A Semantic Search Engine for a Multimedia e-Learning Tool Serge Linckels, Christoph Meinel Department for Theoretical Computer Science and New Applications, University of Trier, Germany {linckels, meinel}@TI.uni-trier.de

      A Semantic Search Engine for a Multimedia e-Learning Tool Serge Linckels, Christoph Meinel Department for Theoretical Computer Science and New Applications, University of Trier, Germany {linckels, meinel}@TI.uni-trier.de

      Add to Reading List

      Source URL: www.linckels.lu

      Language: English - Date: 2013-09-25 04:07:41